MatchPy: A Pattern Matching Library

نویسندگان

  • Manuel Krebber
  • Henrik Barthels
  • Paolo Bientinesi
چکیده

Pattern matching is a powerful tool for symbolic computations, based on the well-defined theory of term rewriting systems. Application domains include algebraic expressions, abstract syntax trees, and XML and JSON data. Unfortunately, no lightweight implementation of pattern matching as general and flexible as Mathematica exists for Python [Pö16], [Hao14], [Sch14], [Jen15]. Therefore, we created the open source module MatchPy which offers similar pattern matching functionality in Python using a novel algorithm which finds matches for large pattern sets more efficiently by exploiting similarities between

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Fast Generic Sequence Matching Algorithm

A string matching—andmore generally, sequence matching—algorithm is presented that has a linear worst-case computing time bound, a low worst-case bound on the number of comparisons (2n), and sublinear average-case behavior that is better than that of the fastest versions of the Boyer-Moore algorithm. The algorithm retains its efficiency advantages in a wide variety of sequence matching problems...

متن کامل

Paisley: A Pattern Matching Library for Arbitrary Object Models

Professional development of software dealing with structured models requires more systematic approach and semantic foundation than standard practice in general-purpose programming languages affords. One remedy is to integrate techniques from other programming paradigms, as seamless as possible and without forcing programmers to leave their comfort zone. Here we present a tool for the implementa...

متن کامل

Reuse of Verified Design Templates Through Extended Pattern Matching

Note: Most SVRC technical reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Individual abstracts and compressed postscript les are available from Abstract Care provides a framework for construction and veriication of programs , based around the recording of reusable design knowledge in pa-rameterized templates. This paper shows how pattern-matchi...

متن کامل

Developing Hardware-Based Applications Using PRESENCE-2

The AICP (Ambient Intelligent Co-Processor) project aims are to develop and implement high performance hardware pattern matching algorithms for use in embedded ubiquitous systems. As part of this project we aim to implement the pattern-matching algorithms onto the PRESENCE2 hardware platform. PRESENCE-2 is a PCI-based accelerator card for high performance applications, designed and built here i...

متن کامل

Sounds Alike Name Matching for Myanmar Language

_Personal name matching system is the core of essential task in national citizen database, text and web mining, information retrieval, online library system, e-commerce and record linkage system. It has necessitated to the all embracing research in the vicinity of name matching. Traditional name matching methods are suitable for English and other Latin based language. Asian languages which have...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1710.06915  شماره 

صفحات  -

تاریخ انتشار 2017